Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
261	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
262	Code Style Randy Shepherd NYU Correctness is not Sufficient ● Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-03-05 12:03:11 Software engineering Computer programming Computing Source code Cross-platform software Concurrent programming languages Procedural programming languages Object-oriented programming languages Comment Programming style HTML Go
263	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
264	ePiX Tutorial and Reference Manual Add to Reading List Source URL: mathcs.holycross.edu Language: English - Date: 2012-04-01 11:01:32 Software Application software Free software Macro programming languages Vector graphics markup languages PSTricks LaTeX PGF/TikZ TeX Epix Samsung SGH-i907 R
265	The Guts of Perl (and why you should care) A brief tour through the perl compiler backends for the impatient refactorerer. Add to Reading List Source URL: scratchcomputing.com Language: English - Date: 2008-11-01 15:56:52 Software engineering Computer programming Computing Cross-platform software Object-oriented programming languages Control flow High-level programming languages Scripting languages Perl Entry point XS Eval
266	Conversational Programming in Action Alexander Repenning AgentSheets Inc. Boulder 80301, Colorado, USA Abstract – Accelerated by the Do-It-Yourself mindset of the Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2011-07-24 21:52:56 Computing Software engineering Software Concurrent programming languages Visual programming languages Cross-platform software Computer programming AgentSheets Artificial intelligence Programmer Debugging Programming language
267	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
268	The Functional Web Editor: Steve Vinoski • Scala Web Frameworks: Looking Beyond Lift Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2011-09-08 21:52:19 Computing Software Java platform Object-oriented programming languages Cross-platform software Scripting languages Concurrent programming languages Scalatra Scala Play Framework Lift Web framework
269	COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015 Overview: Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2015-10-07 12:09:10 Software Computing Software metrics Software testing Array programming languages Compiler optimizations Linear algebra MATLAB Data-flow analysis Code coverage C++ classes Subroutine
270	Design Issues in Parallel Array Languages for Shared Memory ! James Brodman1 , Basilio B. Fraguela2 , Mar´ıa J. Garzar´an1 , and David Padua1 1 University of Illinois at Urbana-Champaign, Dept. of Computer Science Add to Reading List Source URL: polaris.cs.uiuc.edu Language: English - Date: 2008-06-04 16:32:10 Parallel computing Computing Computer programming Software engineering Data parallelism SPMD HTML Application Stream processing Task parallelism OpenMP Multi-core processor Thread

UPDATE